Interval Packing : the Vacant Interval Distribution

Starting at time 0, unit-length intervals arrive and are placed on the positive real line by a unit-intensity Poisson process in two dimensions; the left endpoints of intervals appear at the rate of 1 per unit time per unit distance. An arrival is accepted if and only if, for some given x, the interval is contained in 0 x and overlaps no interval already accepted. This stochastic, on-line interval packing problem generalizes the classical parking problem, the latter corresponding only to the absorbing states of the interval packing process, where successive packed intervals are separated by gaps less than or equal to 1 in length. In earlier work, the authors studied the distribution of the number of intervals accepted during 0 t . This paper is concerned with the vacant intervals (gaps) between consecutive packed intervals. Let p t y be the limit x → ∞ of the fraction of the gaps at time t which are at most y in length. We prove that